s:QOSet, a, b:|s|. (a <s b)  (a  b) 

latex

Up	sets 1
Definitions of Statement	DSet, QOSet
Definitions	t  T, P  Q, x:A. B(x), DSet, QOSet, P & Q, strict_part(x,y.R(x;y);a;b), P  Q,
Lemmas	qoset wf, set car wf, set lt wf, set lt is sp of leq